1. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science),Electronic books. , local
رده :
E-BOOK
